Hereditarily effective typestreams
نویسنده
چکیده
We prove that the hierarchy of hereditarily effective typestreams, that are effective models of inductivly defined types, has the length of the first recursivly inaccessible ordinal.
منابع مشابه
Hereditarily Homogeneous Generalized Topological Spaces
In this paper we study hereditarily homogeneous generalized topological spaces. Various properties of hereditarily homogeneous generalized topological spaces are discussed. We prove that a generalized topological space is hereditarily homogeneous if and only if every transposition of $X$ is a $mu$-homeomorphism on $X$.
متن کاملA Class of Hereditarily $ell_p(c_0)$ Banach spaces
We extend the class of Banach sequence spaces constructed by Ledari, as presented in ''A class of hereditarily $ell_1$ Banach spaces without Schur property'' and obtain a new class of hereditarily $ell_p(c_0)$ Banach spaces for $1leq p<infty$. Some other properties of this spaces are studied.
متن کاملDynamical System and Semi-Hereditarily Hypercyclic Property
In this paper we give conditions for a tuple of commutative bounded linear operators which holds in the property of the Hypercyclicity Criterion. We characterize topological transitivity and semi-hereiditarily of a dynamical system given by an n-tuple of operators acting on a separable infinite dimensional Banach space .
متن کاملar X iv : m at h / 04 02 23 6 v 2 [ m at h . G N ] 4 A ug 2 00 4 Hereditarily h - complete groups ∗
A topological group G is h-complete if every continuous homomorphic image of G is (Ra˘ ıkov-)complete; we say that G is hereditarily h-complete if every closed subgroup of G is h-complete. In this paper, we establish open-map properties of hereditarily h-complete groups with respect to large classes of groups, and prove a theorem on the (total) minimality of sub-directly represented groups. Num...
متن کاملOn the product of a compact space with an hereditarily absolutely countably compact space
We show that the product of a compact, sequential T2 space with an hereditarily absolutely countably compact T3 space is hereditarily absolutely countably compact, and further that the product of a compact T2 space of countable tightness with an hereditarily absolutely countably compact ω-bounded T3 space is hereditarily absolutely countably compact.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Arch. Math. Log.
دوره 36 شماره
صفحات -
تاریخ انتشار 1997